(网经社讯)11月20日消息，近日，月之暗面Kimi正式推出了其最新一代的数学推理模型——k0-math。据官方介绍，这款模型在基准测试中展现出了强大的数学能力，能够与全球领先的OpenAI o1系列中的两个可公开使用模型——o1-mini和o1-preview相媲美。
（网经社注：图源采集自月之暗面 Kimi公众号）
网经社教育台（EDU.100EC.CN）了解到，在多项数学基准能力测试中，k0-math的表现令人瞩目。它不仅成功对标了OpenAI的o1系列模型，还在中考、高考、考研以及包含入门竞赛题的MATH等四个关键数学基准测试中，取得了超越o1-mini和o1-preview的成绩。
然而，值得注意的是，尽管k0-math模型在解答大部分高难度数学题方面表现出色，但当前版本仍存在一些局限性。特别是对于一些LaTeX格式难以准确描述的几何图形类问题，k0-math尚无法给出满意的解答。
此外，Kimi公司此前还推出了Kimi探索版，并在最近对其进行了强化学习技术的创新。这一创新不仅提升了搜索体验，还在意图增强、信源分析和链式思考等三大推理能力上实现了突破。这一系列的进步不仅展现了Kimi公司在技术上的持续创新，也为用户带来了更加智能和高效的数学推理工具。
